<?php

interface ExpModeNumber extends ExpNumber
{

}

?>